$\forall$$f$:Top, $L$:(Top List). $\parallel$map($f$;$L$)$\parallel$ $\sim$ $\parallel$$L$$\parallel$